UML Action Semantics for Model Tranformations?

Abstract. Graph transformation provides a visual but mathematically precise way to specify arbitrary model transformations in the Model Driven Architecture. The Action Semantics for UML is a standard and platform independent way to describe the dynamic behavior of methods and executable actions in UML based system models prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. In the paper, we propose a general encoding of model transformations specified by graph transformation rules into executable Action Semantics expressions. As a result, the implementations of such transformations can be generated automatically by offthe-shelf MDA tools.